home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / clean / sun3.lha / Sun3 / deltaR.dcl < prev    next >
Text File  |  1992-08-07  |  1KB  |  39 lines
  1. SYSTEM MODULE deltaR;
  2.  
  3. ==    Version 0.8
  4.  
  5. ==
  6. ==    Real operations
  7. ==
  8.  
  9. RULE
  10.  
  11. ::    +R    !REAL    !REAL    ->    REAL;    ==    increment arg1 with arg2    
  12. ::    -R    !REAL    !REAL    ->    REAL;    ==    decrement arg1 with arg2
  13. ::    *R    !REAL    !REAL    ->    REAL;    ==    multiply arg1 with arg2
  14. ::    /R    !REAL    !REAL    ->    REAL;    ==    divide arg1 by arg2
  15.  
  16. ::    =R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 equals arg2
  17. ::    <>R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 not equals arg2
  18. ::    <R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 is less the arg2
  19. ::    >R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 is more then arg2
  20. ::    <=R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 is less or equal to arg2
  21. ::    >=R    !REAL    !REAL    ->    BOOL;    ==    true if arg1 is more or equal to arg2
  22.  
  23. ::    SIN        !REAL        ->    REAL;    ==    sinus of arg1
  24. ::    TAN        !REAL        ->    REAL;    ==    tangens of arg1
  25. ::    COS        !REAL        ->    REAL;    ==    cosinus of arg1
  26. ::    ASIN    !REAL        ->    REAL;    ==    arc sinus of arg1
  27. ::    ACOS    !REAL        ->    REAL;    ==    arc cosinus of arg1
  28. ::    ATAN    !REAL        ->    REAL;    ==    arc tangus of arg1
  29.  
  30. ::    LN        !REAL        ->    REAL;    ==    logarithm base e of arg1
  31. ::    LOG10    !REAL        ->    REAL;    ==    logarithm base 10 of arg1
  32. ::    EXP        !REAL        ->    REAL;    ==    e to the arg1'th power    
  33. ::    POW    !REAL    !REAL    ->    REAL;    ==    arg1 to the arg2'th power
  34. ::    SQRT    !REAL        ->    REAL;    ==    square root of arg1
  35.  
  36. ::    ENTIER    !REAL        ->    INT;    ==    entier of arg1
  37. ::    RTOI    !REAL        ->    INT;    ==    round arg1
  38. ::    RTOS    !REAL        ->    STRING;    ==    transform arg1 to STRING
  39.